Optimal. Leaf size=290 \[ \frac {\tanh ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {d} \sqrt {e+f x}}\right ) (2 b d f (4 A b d f-a C (c f+3 d e))+(2 a d f-b c f+b d e) (4 a C d f+b (-4 B d f+c C f+3 C d e)))}{4 b^3 d^{3/2} f^{5/2}}-\frac {2 \sqrt {b c-a d} \left (A b^2-a (b B-a C)\right ) \tanh ^{-1}\left (\frac {\sqrt {c+d x} \sqrt {b e-a f}}{\sqrt {e+f x} \sqrt {b c-a d}}\right )}{b^3 \sqrt {b e-a f}}-\frac {\sqrt {c+d x} \sqrt {e+f x} (4 a C d f+b (-4 B d f+c C f+3 C d e))}{4 b^2 d f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 b d f} \]
________________________________________________________________________________________
Rubi [A] time = 0.67, antiderivative size = 290, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 8, integrand size = 36, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {1615, 154, 157, 63, 217, 206, 93, 208} \begin {gather*} \frac {\tanh ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {d} \sqrt {e+f x}}\right ) (2 b d f (4 A b d f-a C (c f+3 d e))+(2 a d f-b c f+b d e) (4 a C d f+b (-4 B d f+c C f+3 C d e)))}{4 b^3 d^{3/2} f^{5/2}}-\frac {2 \sqrt {b c-a d} \left (A b^2-a (b B-a C)\right ) \tanh ^{-1}\left (\frac {\sqrt {c+d x} \sqrt {b e-a f}}{\sqrt {e+f x} \sqrt {b c-a d}}\right )}{b^3 \sqrt {b e-a f}}-\frac {\sqrt {c+d x} \sqrt {e+f x} (4 a C d f+b (-4 B d f+c C f+3 C d e))}{4 b^2 d f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 b d f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 63
Rule 93
Rule 154
Rule 157
Rule 206
Rule 208
Rule 217
Rule 1615
Rubi steps
\begin {align*} \int \frac {\sqrt {c+d x} \left (A+B x+C x^2\right )}{(a+b x) \sqrt {e+f x}} \, dx &=\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 b d f}+\frac {\int \frac {\sqrt {c+d x} \left (\frac {1}{2} b (4 A b d f-a C (3 d e+c f))-\frac {1}{2} b (4 a C d f+b (3 C d e+c C f-4 B d f)) x\right )}{(a+b x) \sqrt {e+f x}} \, dx}{2 b^2 d f}\\ &=-\frac {(4 a C d f+b (3 C d e+c C f-4 B d f)) \sqrt {c+d x} \sqrt {e+f x}}{4 b^2 d f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 b d f}+\frac {\int \frac {\frac {1}{4} b (2 b c f (4 A b d f-a C (3 d e+c f))+a (d e+c f) (4 a C d f+b (3 C d e+c C f-4 B d f)))+\frac {1}{4} b (2 b d f (4 A b d f-a C (3 d e+c f))+(b d e-b c f+2 a d f) (4 a C d f+b (3 C d e+c C f-4 B d f))) x}{(a+b x) \sqrt {c+d x} \sqrt {e+f x}} \, dx}{2 b^3 d f^2}\\ &=-\frac {(4 a C d f+b (3 C d e+c C f-4 B d f)) \sqrt {c+d x} \sqrt {e+f x}}{4 b^2 d f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 b d f}+\frac {\left (\left (A b^2-a (b B-a C)\right ) (b c-a d)\right ) \int \frac {1}{(a+b x) \sqrt {c+d x} \sqrt {e+f x}} \, dx}{b^3}+\frac {(2 b d f (4 A b d f-a C (3 d e+c f))+(b d e-b c f+2 a d f) (4 a C d f+b (3 C d e+c C f-4 B d f))) \int \frac {1}{\sqrt {c+d x} \sqrt {e+f x}} \, dx}{8 b^3 d f^2}\\ &=-\frac {(4 a C d f+b (3 C d e+c C f-4 B d f)) \sqrt {c+d x} \sqrt {e+f x}}{4 b^2 d f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 b d f}+\frac {\left (2 \left (A b^2-a (b B-a C)\right ) (b c-a d)\right ) \operatorname {Subst}\left (\int \frac {1}{-b c+a d-(-b e+a f) x^2} \, dx,x,\frac {\sqrt {c+d x}}{\sqrt {e+f x}}\right )}{b^3}+\frac {(2 b d f (4 A b d f-a C (3 d e+c f))+(b d e-b c f+2 a d f) (4 a C d f+b (3 C d e+c C f-4 B d f))) \operatorname {Subst}\left (\int \frac {1}{\sqrt {e-\frac {c f}{d}+\frac {f x^2}{d}}} \, dx,x,\sqrt {c+d x}\right )}{4 b^3 d^2 f^2}\\ &=-\frac {(4 a C d f+b (3 C d e+c C f-4 B d f)) \sqrt {c+d x} \sqrt {e+f x}}{4 b^2 d f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 b d f}-\frac {2 \left (A b^2-a (b B-a C)\right ) \sqrt {b c-a d} \tanh ^{-1}\left (\frac {\sqrt {b e-a f} \sqrt {c+d x}}{\sqrt {b c-a d} \sqrt {e+f x}}\right )}{b^3 \sqrt {b e-a f}}+\frac {(2 b d f (4 A b d f-a C (3 d e+c f))+(b d e-b c f+2 a d f) (4 a C d f+b (3 C d e+c C f-4 B d f))) \operatorname {Subst}\left (\int \frac {1}{1-\frac {f x^2}{d}} \, dx,x,\frac {\sqrt {c+d x}}{\sqrt {e+f x}}\right )}{4 b^3 d^2 f^2}\\ &=-\frac {(4 a C d f+b (3 C d e+c C f-4 B d f)) \sqrt {c+d x} \sqrt {e+f x}}{4 b^2 d f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 b d f}+\frac {(2 b d f (4 A b d f-a C (3 d e+c f))+(b d e-b c f+2 a d f) (4 a C d f+b (3 C d e+c C f-4 B d f))) \tanh ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {d} \sqrt {e+f x}}\right )}{4 b^3 d^{3/2} f^{5/2}}-\frac {2 \left (A b^2-a (b B-a C)\right ) \sqrt {b c-a d} \tanh ^{-1}\left (\frac {\sqrt {b e-a f} \sqrt {c+d x}}{\sqrt {b c-a d} \sqrt {e+f x}}\right )}{b^3 \sqrt {b e-a f}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 3.45, size = 465, normalized size = 1.60 \begin {gather*} \frac {\frac {8 \sqrt {d e-c f} \left (a (a C-b B)+A b^2\right ) \sqrt {\frac {d (e+f x)}{d e-c f}} \sinh ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {d e-c f}}\right )}{\sqrt {f} \sqrt {e+f x}}-\frac {8 \sqrt {a d-b c} \left (a (a C-b B)+A b^2\right ) \tanh ^{-1}\left (\frac {\sqrt {c+d x} \sqrt {a f-b e}}{\sqrt {e+f x} \sqrt {a d-b c}}\right )}{\sqrt {a f-b e}}+\frac {4 b \sqrt {e+f x} (a C f-b B f+b C e) \left (\sqrt {c+d x} (d e-c f) \sinh ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {d e-c f}}\right )-\sqrt {f} (c+d x) \sqrt {d e-c f} \sqrt {\frac {d (e+f x)}{d e-c f}}\right )}{f^{5/2} \sqrt {c+d x} \sqrt {d e-c f} \sqrt {\frac {d (e+f x)}{d e-c f}}}+\frac {b^2 C \sqrt {e+f x} \left (\sqrt {f} \sqrt {c+d x} (c f+d (e+2 f x))-\frac {(d e-c f)^{3/2} \sinh ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {d e-c f}}\right )}{\sqrt {\frac {d (e+f x)}{d e-c f}}}\right )}{d f^{5/2}}}{4 b^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [B] time = 34.33, size = 1375, normalized size = 4.74 \begin {gather*} \frac {C \log \left (\sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}}-\sqrt {\frac {d}{f}} \sqrt {e+f x}\right ) c^2}{4 b \left (\frac {d}{f}\right )^{3/2} f^2}-\frac {B d \log \left (\sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}}-\sqrt {\frac {d}{f}} \sqrt {e+f x}\right ) c}{b \left (\frac {d}{f}\right )^{3/2} f^2}+\frac {a C d \log \left (\sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}}-\sqrt {\frac {d}{f}} \sqrt {e+f x}\right ) c}{b^2 \left (\frac {d}{f}\right )^{3/2} f^2}+\frac {C d e \log \left (\sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}}-\sqrt {\frac {d}{f}} \sqrt {e+f x}\right ) c}{2 b \left (\frac {d}{f}\right )^{3/2} f^3}+\frac {\sqrt {\frac {d}{f}} \sqrt {e+f x} (-5 b C d e+b c C f+4 b B d f-4 a C d f+2 b C d (e+f x)) \sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}} \left (c^2 f^3-2 c d e f^2+8 c d (e+f x) f^2+d^2 e^2 f+8 d^2 (e+f x)^2 f-8 d^2 e (e+f x) f\right )+\sqrt {e+f x} (-5 b C d e+b c C f+4 b B d f-4 a C d f+2 b C d (e+f x)) \left (-8 (e+f x)^{5/2} d^3+12 e (e+f x)^{3/2} d^3-4 e^2 \sqrt {e+f x} d^3-12 c f (e+f x)^{3/2} d^2+8 c e f \sqrt {e+f x} d^2-4 c^2 f^2 \sqrt {e+f x} d\right )}{4 b^2 d \sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}} \left (-\frac {8 (e+f x)^{3/2} d^2}{f^2}+\frac {4 e \sqrt {e+f x} d^2}{f^2}-\frac {4 c \sqrt {e+f x} d}{f}\right ) f^5+4 b^2 d \sqrt {\frac {d}{f}} \left (c^2+\frac {8 d (e+f x) c}{f}-\frac {2 d e c}{f}+\frac {8 d^2 (e+f x)^2}{f^2}-\frac {8 d^2 e (e+f x)}{f^2}+\frac {d^2 e^2}{f^2}\right ) f^5}+\left (\frac {2 C \sqrt {d} \sqrt {b c-a d} a^2}{b^3 \sqrt {\frac {d}{f}} \sqrt {f} \sqrt {b e-a f}}-\frac {2 B \sqrt {d} \sqrt {b c-a d} a}{b^2 \sqrt {\frac {d}{f}} \sqrt {f} \sqrt {b e-a f}}+\frac {2 A \sqrt {d} \sqrt {b c-a d}}{b \sqrt {\frac {d}{f}} \sqrt {f} \sqrt {b e-a f}}\right ) \tanh ^{-1}\left (\frac {-b d e+a d f+b d (e+f x)-b \sqrt {\frac {d}{f}} f \sqrt {e+f x} \sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}}}{\sqrt {d} \sqrt {b c-a d} \sqrt {f} \sqrt {b e-a f}}\right )+\frac {2 a B d^2 \log \left (\sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}}-\sqrt {\frac {d}{f}} \sqrt {e+f x}\right )}{b^2 \left (\frac {d}{f}\right )^{3/2} f^2}-\frac {2 a^2 C d^2 \log \left (\sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}}-\sqrt {\frac {d}{f}} \sqrt {e+f x}\right )}{b^3 \left (\frac {d}{f}\right )^{3/2} f^2}-\frac {2 A d^2 \log \left (\sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}}-\sqrt {\frac {d}{f}} \sqrt {e+f x}\right )}{b \left (\frac {d}{f}\right )^{3/2} f^2}+\frac {B d^2 e \log \left (\sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}}-\sqrt {\frac {d}{f}} \sqrt {e+f x}\right )}{b \left (\frac {d}{f}\right )^{3/2} f^3}-\frac {a C d^2 e \log \left (\sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}}-\sqrt {\frac {d}{f}} \sqrt {e+f x}\right )}{b^2 \left (\frac {d}{f}\right )^{3/2} f^3}-\frac {3 C d^2 e^2 \log \left (\sqrt {c+\frac {d (e+f x)}{f}-\frac {d e}{f}}-\sqrt {\frac {d}{f}} \sqrt {e+f x}\right )}{4 b \left (\frac {d}{f}\right )^{3/2} f^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.04, size = 1822, normalized size = 6.28
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F(-1)] time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \text {Hanged} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {c + d x} \left (A + B x + C x^{2}\right )}{\left (a + b x\right ) \sqrt {e + f x}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________